CP, SAT, and SoCS 2025 -- registration now open

Dear all,

Registration is now open for the 31st International Conference on
Principles and Practice of Constraint Programming (CP 2025), the 28th
International Conference on Theory and Applications of Satisfiability
Testing (SAT 2025), and the 18th International Symposium on
Combinatorial Search (SoCS 2025). The three conferences will be held
together at the University of Glasgow, Scotland, from 12th to 15th
August 2025.

Alongside the three conferences, we also have a joint CP/SAT doctoral
program, and a two day workshop programme on the 10th and 11th August,
featuring:

- the 23rd International Workshop on Satisfiability Modulo Theories (SMT)
- the 1st Workshop on Explanations with Constraints and Satisfiability (ExCoS)
- Machine Learning for Solvers and Provers (ML4SP)
- the 1st International Workshop on Discrete Optimization with Soft Constraints
- LLMs meet Constraint Solving
- the 24th workshop on Constraint Modelling and Reformulation (ModRef)
- the 16th Pragmatics of SAT international workshop
- the Workshop on Counting, Sampling, and Synthesis
- the International Workshop on Quantified Boolean Formulas and Beyond
- the Eighth Workshop on Progress Towards the Holy Grail (PTHG-25).

There is a single, shared registration fee that will give you access
to all three conferences and all of the workshops. For details, please
see:

https://cp2025.a4cp.org/registration.html

Early registration rates end on the 30th June.

We also recommend booking accommodation well in advance, since the
World Pipe Band Championships and the Edinburgh Festival are running
at the same time as the conference.

Finally, I'd like to draw your attention to a related event, the
SAT/SMT/AR Summer School, which will also be taking in place in
Scotland the week before our conferences:

https://sat-smt-ar-school.gitlab.io/www/2025/

Looking forward to welcoming you to Glasgow,
--
Ciaran McCreesh